121![A Program Logic for Resource Verification David Aspinall1 , Lennart Beringer1 , Martin Hofmann2 , Hans-Wolfgang Loidl2 , Alberto Momigliano1 1 2 A Program Logic for Resource Verification David Aspinall1 , Lennart Beringer1 , Martin Hofmann2 , Hans-Wolfgang Loidl2 , Alberto Momigliano1 1 2](https://www.pdfsearch.io/img/0863a5cadcce19f9632ddb3951e3e0e4.jpg) | Add to Reading ListSource URL: groups.inf.ed.ac.ukLanguage: English - Date: 2004-05-24 09:01:38
|
---|
122![Dear NTCIR community, As was announced during the NTCIR-8 Meeting, there will be some changes in the central coordination of the next NTCIR-9 based on careful reflection of the past NTCIR activities. First of all, NII ( Dear NTCIR community, As was announced during the NTCIR-8 Meeting, there will be some changes in the central coordination of the next NTCIR-9 based on careful reflection of the past NTCIR activities. First of all, NII (](https://www.pdfsearch.io/img/8e6af0751fedc97d89b573579734f27e.jpg) | Add to Reading ListSource URL: research.nii.ac.jpLanguage: English - Date: 2010-09-03 05:07:52
|
---|
123![Linear Submodular Bandits and their Application to Diversified Retrieval Carlos Guestrin Machine Learning Department Carnegie Mellon University Linear Submodular Bandits and their Application to Diversified Retrieval Carlos Guestrin Machine Learning Department Carnegie Mellon University](https://www.pdfsearch.io/img/b5914362ed7f0865826c1b0ea4cf1522.jpg) | Add to Reading ListSource URL: www.yisongyue.comLanguage: English - Date: 2011-10-28 13:51:58
|
---|
124![Linear Submodular Bandits and their Application to Diversified Retrieval Carlos Guestrin Machine Learning Department Carnegie Mellon University Linear Submodular Bandits and their Application to Diversified Retrieval Carlos Guestrin Machine Learning Department Carnegie Mellon University](https://www.pdfsearch.io/img/22c74bf8ada9f718b4460b0e5b42e09c.jpg) | Add to Reading ListSource URL: www.yisongyue.comLanguage: English - Date: 2011-10-28 13:51:45
|
---|
125![Effective Extraction of Thematically Grouped Key Terms From Text Maria Grineva Maxim Grinev and Dmitry Lizorkin Institute for System Programming of Russian Academy of Sciences 25 A. Solzhenitsyna Moscow, Russia[removed] Effective Extraction of Thematically Grouped Key Terms From Text Maria Grineva Maxim Grinev and Dmitry Lizorkin Institute for System Programming of Russian Academy of Sciences 25 A. Solzhenitsyna Moscow, Russia[removed]](https://www.pdfsearch.io/img/409e9abb5a2be87e4fba87f2a3b3e4e8.jpg) | Add to Reading ListSource URL: mint.typepad.comLanguage: English - Date: 2009-03-16 11:27:46
|
---|
126![Efficient Ranking and Computation of Semantic Relatedness and its Application to Word Sense Disambiguation Maxim Grinev, Dmitry Lizorkin, Denis Turdakov, Pavel Velikhov Institute for System Programming Russian Academy of Efficient Ranking and Computation of Semantic Relatedness and its Application to Word Sense Disambiguation Maxim Grinev, Dmitry Lizorkin, Denis Turdakov, Pavel Velikhov Institute for System Programming Russian Academy of](https://www.pdfsearch.io/img/78d41d7281769646b348c16afd7f11dd.jpg) | Add to Reading ListSource URL: modis.ispras.ruLanguage: English - Date: 2009-04-09 04:33:31
|
---|
127![Special edition May[removed]Land stewardship: The Key To Preserving Our Natural Environment Picture courtesy of T. Gendre, CEN LR Special edition May[removed]Land stewardship: The Key To Preserving Our Natural Environment Picture courtesy of T. Gendre, CEN LR](https://www.pdfsearch.io/img/98f71fcf5c6d9f90f69ce1bb74e673b7.jpg) | Add to Reading ListSource URL: www.eurosite.orgLanguage: English - Date: 2012-08-06 06:22:44
|
---|
128![Special edition May[removed]Land stewardship: The Key To Preserving Our Natural Environment Picture courtesy of T. Gendre, CEN LR Special edition May[removed]Land stewardship: The Key To Preserving Our Natural Environment Picture courtesy of T. Gendre, CEN LR](https://www.pdfsearch.io/img/62a978e56f9b9c8240fae31bc4be13dc.jpg) | Add to Reading ListSource URL: www.eurosite.orgLanguage: English - Date: 2012-05-30 07:35:25
|
---|
129![Computer-based Content Analysis ¨ Johannes Knopp, Cacilia Zirn Knowledge Representation and Knowledge Management Research Group School of Business Informatics and Mathematics Computer-based Content Analysis ¨ Johannes Knopp, Cacilia Zirn Knowledge Representation and Knowledge Management Research Group School of Business Informatics and Mathematics](https://www.pdfsearch.io/img/2804c46cbea86064736f1c4f801ac635.jpg) | Add to Reading ListSource URL: dws.informatik.uni-mannheim.deLanguage: English - Date: 2014-09-29 11:41:53
|
---|
130![c 2005 Cambridge University Press Natural Language Engineering 11 (1): 27–65. 27 DOI: [removed]S1351324904003547 Printed in the United Kingdom c 2005 Cambridge University Press Natural Language Engineering 11 (1): 27–65. 27 DOI: [removed]S1351324904003547 Printed in the United Kingdom](https://www.pdfsearch.io/img/7112c76eaa416f49bbe6d64e28660c03.jpg) | Add to Reading ListSource URL: www.ltg.ed.ac.ukLanguage: English - Date: 2007-05-10 14:22:15
|
---|